00100	(DE ISWIN (X) (EQUAL X (QUOTE (1 1 1 1))))
00200	
00300	(DE ISLOSE (X) (AND (NOT (EQUAL (CAR X) (CADDR X)))
00400	(OR (EQUAL (CADDR X) (CADR X)) (EQUAL (CADDR X) (CADDDR X)))))
00500	
00600	(DE SUCCESSORS (Y) (CONS (CONS (DIFFERENCE 1 (CAR Y))
00700	(CDR Y)) (MAP1  (CDR Y) (FUNCTION (LAMBDA (W)
00800	(EQUAL (CAR W) (CAR Y)))) (FUNCTION (LAMBDA (W) (CONS
00900	(DIFFERENCE 1 (CAR Y)) (REPL (CDR Y) W (DIFFERENCE 1 
01000	(CAR W)))))))))
01100	
01200	(DE MAP1 (X P FN) (COND ((NULL X) NIL)
01300	((P X) (CONS (FN X) (MAP1 (CDR X) P FN)))
01400	(T (MAP1 (CDR X) P FN))))
01500	
01600	(DE REPL (XX W U) (COND ((NULL XX) NIL)((EQ W XX) (CONS U (CDR XX)))
01700	(T (CONS (CAR XX) (REPL (CDR XX) W U))))))